ETH Zurich - PDFSEARCH.IO - Document Search Engine

ETH Zurich
Results: 3349

#	Item
41	Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Computer memory Computing Circular buffer Abstract interpretation Thread Data buffer Futures and promises
42	Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev ETH Zürich net2text.ethz.ch Abstract Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2018-02-25 19:48:09 Internet architecture Network theory Mathematics Edsger W. Dijkstra Shortest path problem Routing Reachability Computing Discrete mathematics Network architecture
43	Mille-Feuille: Putting ISP traffic under the scalpel Olivier Tilmans ‡∗, Tobias Bühler §, Stefano Vissicchio †, Laurent Vanbever § ‡ Université catholique de Louvain, § ETH Zürich, † University College Lo Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2016-11-15 08:07:48 Computing Information and communications technology Network architecture Internet architecture Internet Standards Routing protocols Computer networking Network protocols Computer network Network switch Port mirroring NetFlow
44	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Mathematical logic Logic Predicate logic Mathematics Predicate FO Atomic sentence Primitive recursive function Syntactic predicate
45	NetHide: Secure and Practical Network Topology Obfuscation Roland Meier◦, Petar Tsankov◦, Vincent Lenders, Laurent Vanbever◦, Martin Vechev◦ ◦ ETH Zürich, Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2018-06-15 12:22:06 Electromagnetism Transistortransistor logic Topology Network topology Computer network Electrical engineering Electronics
46	Payment Network Design with Fees Georgia Avarikioti, Gerrit Janssen, Yuyi Wang, and Roger Wattenhofer ETH Zurich, Switzerland {zetavar,gjanssen,yuwang,wattenhofer}@ethz.ch Abstract. Payment channels are the most promine Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-08-17 10:43:16 Mathematics Graph theory Computational complexity theory Network theory Edsger W. Dijkstra Computational problems Combinatorial optimization Shortest path problem Dynamic programming Graph Optimization problem Bitcoin
47	XXXX Authentication Challenges in a Global Environment Stephanos Matsumoto, Carnegie Mellon University/ETH Zurich Raphael M. Reischuk, ETH Zurich Pawel Szalachowski, ETH Zurich Tiffany Hyun-Jin Kim, HRL Laboratories Add to Reading List Source URL: www.netsec.ethz.ch Language: English Cryptography Public-key cryptography Key management Transport Layer Security Internet Standards Public key infrastructure Domain Name System Security Extensions Public key certificate Certificate authority X.509 DNS root zone Man-in-the-middle attack
48	Mille-Feuille: Putting ISP traffic under the scalpel Olivier Tilmans ‡∗, Tobias Bühler §, Stefano Vissicchio †, Laurent Vanbever § ‡ Université catholique de Louvain, § ETH Zürich, † University College Lo Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:55:55 Computing Information and communications technology Network architecture Internet architecture Internet Standards Routing protocols Computer networking Network protocols Computer network Network switch Port mirroring NetFlow
49	Deadline-Aware Multipath Communication: An Optimization Problem Laurent Chuat∗ , Adrian Perrig∗ , Yih-Chun Hu† of Computer Science, ETH Zurich, Switzerland † Department of Electrical and Computer Engineering, Uni Add to Reading List Source URL: www.netsec.ethz.ch Language: English Computing Information theory Information and communications technology Telecommunications engineering Data transmission Network performance Computer networking Internet architecture Multipath routing Transmission Control Protocol Packet loss Routing
50	piChain: When a Blockchain meets Paxos Conrad Burchert1 and Roger Wattenhofer2 1 ETH Zurich, Switzerland Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-05-04 09:19:06 Computing Concurrent computing Fault-tolerant computer systems Distributed computing Blockchain Cryptocurrencies Encodings Paxos Leader election Consensus Node Tree